$\forall$$s$:LOSet, $x$, $y$:$\mid$$s$$\mid$. ($x$ $\leq$ $y$) $\vee$ ($y$ $\leq$ $x$)